Resolution decision proceduresFermüller, Christian G.; Hustadt, Ullrich; Leitsch, Alexander; Tammet, TanelHandbook of automated reasoning. Vol. 22001 / p. 1791-1849